منابع مشابه
On Square-Free Numbers
In the article the formal characterization of square-free numbers is shown; in this manner the paper is the continuation of [19]. Essentially, we prepared some lemmas for convenient work with numbers (including the proof that the sequence of prime reciprocals diverges [1]) according to [18] which were absent in the Mizar Mathematical Library. Some of them were expressed in terms of clusters’ re...
متن کاملCounting Square-Free Numbers
The main topic of this contribution is the problem of counting square-free numbers not exceeding n. Before this work we were able to do it in time Õ( √ n). Here, the algorithm with time complexity Õ(n) and with memory complexity Õ(n) is presented. Additionally, a parallel version is shown, which achieves full scalability. As of now the highest computed value was for n = 10. Using our implementa...
متن کاملOn Square-Free Permutations
A permutation is square-free if it does not contain two consecutive factors of length more than one that coincide in the reduced form (as patterns). We prove that the number of square-free permutations of length n is nn(1−εn) where εn → 0 when n → ∞. A permutation of length n is crucial with respect to squares if it avoids squares but any extension of it to the right, to a permutation of length...
متن کاملOn the Square Roots of Triangular Numbers
1. BALANCING NUMBERS We call an Integer n e Z a balancing number if 1+ 2+ --+ (»l ) = (w + l) + (w + 2) +••• + (» + >•) (1) for some r e Z. Here r is called the balancer corresponding to the balancing number n. For example, 6, 35, and 204 are balancing numbers with balancers 2, 14, and 84, respectively. It follows from (1) that, if n is a balancing number with balancer r, then n2^(n + r)(n + r ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2013
ISSN: 1898-9934,1426-2630
DOI: 10.2478/forma-2013-0017